dcdr-to-bool(d) == case d of inl(x) => inl   | inr(x) => inr   

latex

Definitions	case b of inl(x) => s(x) | inr(y) => t(y), inl x , inr x ,
FDL editor aliases	dcdr-to-bool